翻訳と辞書
Words near each other
・ Split Personality (All-4-One album)
・ Split Personality (Cassidy album)
・ Split personality (disambiguation)
・ Split Personality (game show)
・ Split pin
・ Split plan
・ Split platform
・ Split Point Lighthouse
・ Split Pride
・ Split ring
・ Split Rock
・ Split Rock Creek State Park
・ Split Rock Dam
・ Split Rock Formation
・ Split Rock Lighthouse
Splint (programming tool)
・ Splint activator
・ Splint armour
・ Splint boots
・ Splinten Peak
・ Splinter
・ Splinter (2006 film)
・ Splinter (2008 film)
・ Splinter (automobile)
・ Splinter (band)
・ Splinter (disambiguation)
・ Splinter (novel)
・ Splinter (Sneaker Pimps album)
・ Splinter (Songs from a Broken Mind)
・ Splinter (Teenage Mutant Ninja Turtles)


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Splint (programming tool) : ウィキペディア英語版
Splint (programming tool)

Splint, short for Secure Programming Lint, is a programming tool for statically checking C programs for security vulnerabilities and coding mistakes. Formerly called LCLint, it is a modern version of the Unix lint tool.
Splint has the ability to interpret special annotations to the source code, which gives it stronger checking than is possible just by looking at the source alone. Splint is used by gpsd as part of an effort to design for zero defects.
Splint is free software released under the terms of the GNU General Public License.
Recent development activity on Splint has slowed significantly. According to the CVS at SourceForge, as of September 2012 the most recent change in the repository was in November 2010.〔(【引用サイトリンク】url=http://sourceforge.net/project/stats/detail.php?group_id=34302&ugn=splint&type=cvs&mode=12months )〕 The maintainer has said that development is stagnant and the project needs new volunteers.
==Example==

#include
int main()
return 0;
}

Splint's output:

Variable c used before definition
Suspected infinite loop. No value used in loop test (c) is modified by test or loop body.
Assignment of int to char: c = getchar()
Test expression for if is assignment expression: c = 'x'
Test expression for if not boolean, type char: c = 'x'
Fall through case (no preceding break)

Fixed source:

#include
int main()
return 0;
}


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Splint (programming tool)」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.